direct product of lattices

格的直积